Nuprl Definition : bool 9,38
 == ?Unit 
latex

clarification:

 == Unit + Unit 
latex

Definitionsleft + right, Unit
FDL editor aliasesbool

origin